Temporal theory - PDFSEARCH.IO - Document Search Engine

Temporal theory
Results: 595

#	Item
21	Ingo Scholtes, Nicolas Wider, Antonios Garas: Higher-Order Aggregate Networks in the Analysis of Temporal Networks Higher-Order Aggregate Networks in the Analysis of Temporal Networks: Path structures and centralities Add to Reading List Source URL: www.sg.ethz.ch Language: English - Date: 2015-08-27 04:09:04 Network theory Graph theory Mathematics Physics Centrality Flow network Shortest path problem Climate as complex networks Topology Time-varying network
22	Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:05 Logic Mathematical logic Model theory Ontology Philosophy Temporal logic Non-classical logic Philosophical logic Tbox Abox Modal logic Kripke structure
23	Classical Mechanics, Lecture 19 March 13, 2008 lecture by John Baez notes by Alex Hoffnung 1 Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2008-03-14 21:10:26 Mathematical analysis Mathematics Theoretical physics Operator theory Differential geometry Functional analysis Hilbert space Tensor product of Hilbert spaces Poisson manifold Cartesian closed category Linear temporal logic
24	A Note on the Malleability of the El Gamal Cryptosystem Douglas Wikstr¨om Swedish Institute of Computer Science (SICS) Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:38:02 Mathematical analysis Mathematics Functional analysis IP Distribution Computability theory Linear temporal logic operator
25	Counting in Trees along Multidirectional Regular Paths∗ Everardo Bárcenas Pierre Genevès Nabil Layaïda Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2008-12-16 18:44:40 Model theory Formal languages Mathematical logic First-order logic Predicate logic Interpretation Well-formed formula Linear temporal logic Craig interpolation
26	A PARTICLE DISPLACEMENT REPRESENTATION FOR CONSERVATION LAWS IN TWO-DIMENSIONAL CELLULAR AUTOMATA JARKKO KARI 1 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-12-30 16:36:57 Symbol Limit Quantum field theory Theoretical physics Operator theory Linear temporal logic Calculus of variations
27	A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn Joost Winter Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-02 13:47:59 Modal logic Non-classical logic Philosophical logic Model theory Mathematical logic Kripke semantics Substitution Integration by substitution Normal modal logic Linear temporal logic Dirac delta function
28	Chapter 6 Infinite State Space In this chapter we begin working with stochastic systems on infinite state space. While a completely rigorous treatment of this area requires measure theory (chapter 7 and onward), we can Add to Reading List Source URL: johnstachurski.net Language: English - Date: 2016-06-19 06:01:54 Probability distributions Generalized functions Algebra Distribution Number theory Normal distribution Range Central limit theorem Logarithm Linear temporal logic
29	Wavelets and Linear Algebra Wavelets and Linear Algebra http://wala.vru.ac.ir Vali-e-Asr University of Rafsanjan Add to Reading List Source URL: wala.vru.ac.ir Language: English - Date: 2016-08-20 18:40:22 Operator theory Operator Matrix Quaternion algebra Quaternion Lie groups Linear algebra Linear temporal logic Spectral theory of ordinary differential equations
30	Concept Graphs with Cuts as Diagrammatic First Order Logic Frithjof Dau Darmstadt Technical University, Darmstadt, Germany Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Diagrams Logic Charles Sanders Peirce Philosophical logic Graph theory Existential graph Diagrammatic reasoning Conceptual graph Graph First-order logic Logic of graphs Linear temporal logic

UPDATE